Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
typed lambda-calculus generic type variable Ponder polymorphism Multipop-68 Standard ML constructed type subtype type inference principal type Run-Time Type Information implicit type conversion algebraic data type recursive type type type scheme polymorphic lambda-calculus discriminated union type assignment abstract data type functor type-ahead D-type injection instantiation derived type aggregate type union weak typing Quest Calculus of Communicating Systems explicit type conversion file type semiconductor enumerated type tuple sound 431A sum of products type strong typing Hungarian Notation s/// CLU Clean schematic type variable data type Boolean Persistent Functional Language serial port Document Type Definition infinity pattern matching monad nslookup codomain Interchange File Format scanf Seiko RC-4000 Complementary Metal Oxide Semiconductor Amber more...